Xavier Leroy

Results: 125



#Item
51The Objective Caml system releaseDocumentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

The Objective Caml system releaseDocumentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 1999-12-17 09:41:18
    52The Objective Caml system release 3.00 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

    The Objective Caml system release 3.00 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

    Add to Reading List

    Source URL: caml.inria.fr

    Language: English - Date: 2000-04-27 07:31:49
      53The Objective Caml system release 3.05 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

      The Objective Caml system release 3.05 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

      Add to Reading List

      Source URL: caml.inria.fr

      Language: English - Date: 2002-07-29 07:53:28
        54The Objective Caml system release 2.04 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

        The Objective Caml system release 2.04 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

        Add to Reading List

        Source URL: caml.inria.fr

        Language: English - Date: 1999-11-26 11:50:56
          55Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France

          Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France

          Add to Reading List

          Source URL: cristal.inria.fr

          Language: English - Date: 2007-12-16 08:06:13
            56The Objective Caml system release 2.02 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

            The Objective Caml system release 2.02 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

            Add to Reading List

            Source URL: caml.inria.fr

            Language: English - Date: 2000-04-27 09:00:17
              57The Objective Caml system release 3.06 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

              The Objective Caml system release 3.06 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

              Add to Reading List

              Source URL: caml.inria.fr

              Language: English - Date: 2002-08-20 03:44:31
                58The Objective Caml system release 3.02 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

                The Objective Caml system release 3.02 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

                Add to Reading List

                Source URL: caml.inria.fr

                Language: English - Date: 2001-07-30 07:37:07
                  59Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy

                  Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy

                  Add to Reading List

                  Source URL: cristal.inria.fr

                  Language: English - Date: 2007-11-09 01:03:49
                    60Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt

                    Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt

                    Add to Reading List

                    Source URL: cristal.inria.fr

                    Language: English - Date: 2009-03-11 04:28:36